PLC Protection System Based on Verification Separation

نویسندگان

چکیده

Supervisory control and data acquisition systems (SCADAs) play an important role in supervising controlling industrial production with the help of programmable logic controllers (PLCs) (ICSs). A PLC receives information or program from a SCADA to equipment feeds back SCADA. Once is controlled by attacker, it may threaten safety production. The lack security protection, such as identity authentication encryption for protocols, increases potential risks. In this paper, we propose protection system combined monitor between physically separated monitoring station. By using system, verification command are separated, both operator corresponding commands recorded. Experiments show that even if our could still protect field record key operator, which facilitates tracing forensics malicious activities.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Temperature Monitoring System based on PLC

The programmable logic controller (PLC) is an industrial control computer; it is the new automatic device inherited computer, automatic control technology and communication technology. System temperature signal detected by the temperature sensor. The temperature transmitter will be the temperature value converted into a voltage signal of 0-10V into PLC. PLC voltage signal setting compared to th...

متن کامل

Formal Verification of PLC Programs

This paper presents an approach to the verification of programs for programmable logic controllers (PLCs) using SMV, a software package for formal verification of state transition systems. Binary PLC programs are converted directly into SMV modules that retain the variable names and execution sequences of the original programs. The system being controlled is modeled by a C/E system block diagra...

متن کامل

Study on Measuring System of Casing Machine Based on PLC

According to the technology requirements of measurement for animal casing, in this paper, we use PLC and touch screen as the control core, the electromechanical integration design ideas to research the methods and principles for casing measure, and analyze the mechanical structures and mechanical characteristics of casing machine. As the control core, the programmable logic controller (PLC) ens...

متن کامل

Formal Verification of Safety PLC Based Control Software

Authors’ manuscript. Published in E. Ábrahám, M. Huisman (eds.): Integrated Formal Methods, LNCS 9681, 2016. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-33693-0_32. Abstract. Programmable Logic Controllers (PLCs) are widely used in the industry for various industrial automation tasks. Besides non-safety applications, the usage of PLCs became accepted i...

متن کامل

Practical curriculum design based on motor control system of PLC

According to the trend that the PLC new technology is widely and deeply applied into modern industrial production, combining students electrician, maintenance electrician basic skill training needs to make a reformation of the motor control system of student training curriculum, design a kind of stepping motor control system based on PLC and touch screen, complete the secondary design and renov...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Computers, materials & continua

سال: 2022

ISSN: ['1546-2218', '1546-2226']

DOI: https://doi.org/10.32604/cmc.2022.021020